many-sorted predicate calculus

多种类谓词演算

热门查询

apropos　　adj. 恰好的；适当的 adv. 恰好地；适当地；恰当地 prep. 关于
Wareham　　[人名] [英格兰人姓氏] 韦勒姆住所名称，来源于古英语，含义是“堰+宅地”(weir+homestead); [地名] [美国] 瓦尔汉; [地名] [英国] 韦勒姆
Edmondson　　[人名] [英格兰人姓氏] 埃德蒙森取自父名，来源于Edmond,含义是“埃德蒙之子”(son of Edmond); [地名] [美国] 埃德蒙森
timetabling　　v. （英）为…编时间表（timetable的ing形式） n. 根据时间表安排；制定时间表
rasta　　abbr. 拉斯特法里派的信徒（等于Rastafarian）；崇信拉斯特法里的
hellhound　　n. 地狱之犬；恶鬼
singed　　烧毛
bedlinen　　n. 床用织物
Cockburn　　[人名] [苏格兰人姓氏] 科伯恩住所名称，来源于古英语，含义是“公鸡+溪流”(cock+stream); [地名] [澳大利亚] 科克本
pressurise　　vt. 对…施加压力; 维持（某物内部的）大气压力水平，给…增压 n. 压力输送; 挤压; 气密
sunflower　　n. 向日葵
miscalculate　　vt. 算错；估计错误 vi. 算错；判断错误
ferrous　　adj. [化学] 亚铁的；铁的，含铁的
nullify　　vt. 使无效，作废；取消
fraye　　n. (Fraye)人名；(法)弗雷
truant　　n. 旷课者；懒惰的人 adj. 旷课的；偷懒的 vi. 逃学；偷懒，逃避责任
refuel　　vt. 补给燃料 vi. 重新得到燃料
misleading　　adj. 令人误解的；引入歧途的 v. 给…带错路；把…引入歧途（mislead的ing形式）
loach　　n. 泥鳅
loyalist　　n. 忠诚的人；反对独立者